A Sylow <I>p</I>-subgroup of a finite group <I>G</i> is a normal subgroup of <I>G</I> if and only if it is the only Sylow <I>p</i>-subgroup of <I>G</i>.